| emsoft | participants

Masaki Waga

EMSOFT 2025: 25th International Conference on Embedded Software

Efficient Black-Box Checking with Specification-Guided Abstraction

Tsubasa Matsumoto, Kazuki Watanabe, Kohei Suenaga, and Masaki Waga

EMSOFT 2024: 24th International Conference on Embedded Software

Hyper parametric timed CTL

Masaki Waga and Étienne André

EMSOFT 2023: 23rd International Conference on Embedded Software

Probabilistic Black-Box Checking via Active MDP Learning

Junya Shijubo, Masaki Waga, and Kohei Suenaga

EMSOFT 2018: 18th International Conference on Embedded Software

Moore-Machine Filtering for Timed and Untimed Pattern Matching

Masaki Waga and Ichiro Hasuo